Equivalence relation - PDFSEARCH.IO - Document Search Engine

Equivalence relation
Results: 323

#	Item
251	CEIOPS-DOC[removed]August 2010 CEIOPS Advice to the European Commission Equivalence assessments to be undertaken in relation to Articles 172, 227 and 260 of the Add to Reading List Source URL: eiopa.europa.eu Language: English - Date: 2010-09-06 07:17:20 Solvency II Directive Actuarial science Financial regulation Investment Financial institutions Financial economics Reinsurance Insurance Economics Economy of the European Union European Insurance and Occupational Pensions Authority European Union
252	Internalization of the Groupoid Interpretation of Homotopy Type Theory Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1 πr2 and Ascola teams, INRIA Preuves, Programmes et Syst`emes (PPS) Add to Reading List Source URL: mattam.org Language: English - Date: 2014-02-10 10:38:50 Homotopy theory Groupoid Equivalence relation Group action Path Homotopy Functor Adjoint functors 2-group Abstract algebra Topology Mathematics
253	On the expressivity of symmetry in event structures∗ Sam Staton and Glynn Winskel Computer Laboratory, University of Cambridge Abstract—This paper establishes a bridge between presheaf models for concurrency and the Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-05 11:49:01 Sheaf theory Functors Adjoint functors Algebraic topology Sheaf Equivalence relation Topos Equivalence of categories Grothendieck topology Category theory Abstract algebra Mathematics
254	Symmetry and Concurrency (Extended Abstract) Glynn Winskel University of Cambridge Computer Laboratory, England [removed] http://www.cl.cam.ac.uk/users/gw104 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-09-18 12:00:55 Group theory Algebraic topology Equivalence relation Isomorphism Sheaf Group action Abstract algebra Symmetry Algebra
255	GDP Festschrift ENTCS, to appear Event Structures with Symmetry Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-05-28 04:28:56 Order theory Functions and mappings Category theory Differential topology Group theory Equivalence relation Adjoint functors Symmetry Embedding Mathematics Abstract algebra Mathematical analysis
256	c The Author[removed]Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: [removed] doi:[removed]comjnl/bxh052 Eve Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-06-23 10:59:08 Applied mathematics Symmetry Model theory Logic in computer science Petri net Denotational semantics Causal sets Equivalence relation Power domains Mathematics Theoretical computer science Models of computation
257	WACT[removed]Logical Relations and Parametricity A Reynolds Programme for Category Theory and Programming Languages Claudio Hermida1 University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-01-14 13:54:04 Algebra Category theory Mathematical structures Homomorphism Equivalence relation Binary relation Monoid Category Partial equivalence relation Mathematics Abstract algebra Algebraic structures
258	Foundations of mathematics Sylvain Poirier settheory.net 2. Set theory (continued[removed]Tuples, families Add to Reading List Source URL: settheory.net Language: English - Date: 2014-02-21 17:52:19 Injective function Galois connection Equivalence relation Surjective function Function Bijection Monotonic function Restriction Inverse function Mathematics Mathematical analysis Functions and mappings
259	arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Groupoid Homotopy Fundamental group Equivalence relation Abstract algebra Mathematics Topology
260	Naturalness and Arbitrariness∗ Theodore Sider Philosophical Studies[removed]): 283–301 Peter Forrest and D.M. Armstrong have given an argument against a theory Add to Reading List Source URL: tedsider.org Language: English - Date: 2008-02-24 13:59:40 Abstraction Ontology Type theory Predicate logic Function Ordered pair Finitary relation Equivalence relation Binary relation Mathematics Mathematical logic Order theory

UPDATE